0f39c28c0c2331d0480f9b6eba15126b79cb26a9,java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/PsiGraphInferenceHelper.java,PsiGraphInferenceHelper,getSubstitutionForTypeParameter,#PsiTypeParameter#PsiType#PsiType#boolean#LanguageLevel#,87
Before Change
if (inferenceSession.isProperType(param) && inferenceSession.isProperType(arg)) {
boolean proceed = false;
for (PsiClassType classType : typeParam.getExtendsListTypes()) {
if (!inferenceSession.isProperType(classType)) {
proceed = true;
break;
}
After Change
inferenceSession.isProperType(inferenceSession.substituteWithInferenceVariables(arg))) {
boolean proceed = false;
for (PsiClassType classType : typeParam.getExtendsListTypes()) {
if (!inferenceSession.isProperType(inferenceSession.substituteWithInferenceVariables(classType))) {
proceed = true;
break;
}